Formal Feature Interpretation of Hybrid Systems
نویسندگان
چکیده
منابع مشابه
Formal Analysis of Hybrid Systems Using Feature Indented Assertions
Model based design is a recommended step in the design of embedded control systems. A formal analysis of models helps in arriving at provably correct designs that meet the necessary functional requirements. Often such analysis needs to look beyond functional correctness to evaluate the margins of behavioral attributes. Our notion of features addresses this requirement. The syntactic fabric of o...
متن کاملFormal Veriication of Safety-critical Hybrid Systems Formal Veriication of Safety-critical Hybrid Systems
This thesis investigates how the formal modeling and veri cation techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37]| systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...
متن کاملFormal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] — systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems...
متن کاملFormal Veriication of Safety-critical Hybrid Systems ?
This paper investigates how formal techniques can be used for the analysis and veriication of hybrid systems 1,5,7,16] | systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2018
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2018.2857361